منابع مشابه
Crafting, Crafting, Crafting - Extreme Programming in Classroom?
Extreme Programming (XP) shows several interesting approaches which are very attractive for education. It is centered around early and incremental creation of working software. In the following, the chances XP offers for class are shown – especially for use in a class project, but also for practical phases in all lessons where programming is useful. Finally several common problems which can occ...
متن کاملSpeculative design: crafting the speculation
The article positions the author’s work as speculative design but—like the term design fictions—is open to several interpretations. How is the fictional character of such work conceptualised and produced? What kinds of speculation are involved? The article considers the value of one particular approach and argues that speculative design serves two distinct purposes: first, to enable us to think...
متن کاملCrafting a Knowledge Strategy
Telephone: (Australia) +61 3 8300 0747 email: Abstract Knowledge strategies are often inflexible and unable to cope with the emergent properties that characterise the complex and dynamic environments of the ‘knowledge age’. Knowledge strategy should encompass (i) actions that are intended to result in anticipated business outcomes; and (ii) actions that emerge as a resul...
متن کاملCrafting a Proof Assistant
Proof assistants are complex applications whose development has never been properly systematized or documented. This work is a contribution in this direction, based on our experience with the development of Matita: a new interactive theorem prover based—as Coq—on the Calculus of Inductive Constructions (CIC). In particular, we analyze its architecture focusing on the dependencies of its compone...
متن کاملCrafting the mind of PROSOCS agents
prosocs agents are software agents that are built according to the kgp model of agency. kgp is used as a model for the mind of the agent, so that the agent can act autonomously using a collection of logic theories, providing the mind’s reasoning functionalities. The behaviour of the agent is controlled by a cycle theory that specifies the agent’s preferred patterns of operation. The implementat...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Applied Research in Higher Education
سال: 2016
ISSN: 2050-7003
DOI: 10.1108/jarhe-09-2014-0073